Dependent types I › Universes, or types of types
jonmsterling.com·11h·
Discuss: Hacker News
🔤Type Theory
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1d
🎯Gradual Typing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·23h·
Discuss: Hacker News
🧮Algebraic Datatypes
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Understanding Tool-Integrated Reasoning
arxiv.org·14h
🔗Constraint Handling
Spectrum – catching clojure.spec conform errors at compile time
github.com·1h·
Discuss: Hacker News
🔗Functional Compilers
Implementing Forth in Go and C
eli.thegreenplace.net·14h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
Optical generative models
nature.com·2h
🌈Holographic Archives
Do I not like Ruby anymore? (2024)
sgt.hootr.club·1d·
Discuss: Hacker News, r/programming
🎯Gradual Typing
The Grammar According to West
dwest.web.illinois.edu·4h·
Discuss: Hacker News
🔬Lean
Typeclassopedia
wiki.haskell.org·2d·
Discuss: Hacker News
🧬Functional Programming
Deep dive into Mojo object initialization
connorgray.com·1h·
Discuss: Hacker News
🦀Rust Borrowing
Inside Zig's New Writer
joegm.github.io·3h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Python 3.14 Preview: Lazy Annotations
realpython.com·4h
λLambda Formalization
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·6h
🌳Archive Merkle Trees
Teaching programming languages
kmjn.org·2d
💻Programming languages
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
On systematic construction of correct logic programs
arxiv.org·1d
⚖️Hoare Logic